The Underlying Search for Magic Templates and Tabulation
نویسندگان
چکیده
The main aim of this paper is to present a framework for tabulated SLD-resolution that allows a strict separation between search space and search. We introduce the notion of a search forest to model the search space, and we deene what we understand by a search strategy for it. We present some basic search strategies and discuss how a particular tabulation technique, OLDT-resolution, and a particular transformation technique , Magic Templates, relate to our approach. This comparison also reveals an inherent diierence between the tabulation and the transformation approach.
منابع مشابه
Identification of the underlying factors affecting information seeking behavior of users interacting with the visual search option in EBSCO: a grounded theory study
Background and Aim: Information seeking is interactive behavior of searcher with information systems and this active interaction occurs in a real environment known as background or context. This study investigated the factors influencing the formation of layers of context and their impact on the interaction of the user with search option dialoge in EBSCO database. Method: Data from 28 semi-stru...
متن کاملThe Search for Underlying Principles of Health Impact Assessment: Progress and Prospects; Comment on “Investigating Underlying Principles to Guide Health Impact Assessment”
Health Impact Assessment (HIA) is a relatively young field of endeavour, and hence, future progress will depend on the planning, implementation and rigorous evaluation of additional HIAs of projects, programmes and policies the world over. In the June 2014 issue of the International Journal of Health Policy and Management, Fakhri and colleagues investigated underlying principles of HIA through ...
متن کاملMagic Sets with Full Sharing
This paper discusses the relationship between tabulation and goal-oriented bottom-up evaluation of logic programs. Some diierences emerge when one tries to identify features of one evaluation method in the other. We show that to obtain the same eeect as tabulation in top-down, one has to perform a careful adornment in programs to be evaluated bottom-up. Furthermore we propose an eecient algorit...
متن کاملMagic Computation for Wll-founded Semantics
We propose a new realization of goal-directed query evaluation of (non-oundering) normal logic programs for the well-founded semantics. To this end we introduce a new magic templates transformation and give a new xed point characterization of the well-founded semantics, lifting an existing deenition from the ground to the non-ground case. The new xed point characterization enables us to show a ...
متن کاملA Contemplation in Shari'a's View towards the Magic with an Approach to Mawlana's Thoughts
The magic is something with a subtle source, which is not seen with eye, and its source cannot be found in a normal way. The magic has a variety of forms that have harmful and non-harmful effects. The wizards use the latter one to deceive people. The motive for choosing this topic among other ones is that some people resort to the magic for different reasons such as: outbreaking demons for the ...
متن کامل